Section: Contracts and Grants with Industry

ANR Projects within Academics

• ProSe: Security protocols : formal model, computational model, and implementations.

  Participants : Bruno Blanchet, David Cadé, Miriam Paiola, David Pointcheval.

  From December 2010 to November 2014.

  Partners: ENS Cachan-INRIA/Secsi, LORIA-INRIA/Cassis, Verimag.

  The goal of the project is to increase the confidence in security protocols, and in order to reach this goal, provide security proofs at three levels: the symbolic level, in which messages are terms; the computational level, in which messages are bitstrings; the implementation level: the program itself.